EUCLIDE : automatic test data generation for critical C programs Constraint Programming Exploit relations (constraints) to infer new

Source URL: people.rennes.inria.fr

CSL Technical Report SRI-CSL-06-01 • May 23, 2006 Integrating Simplex with DPLL(T ) Bruno Dutertre and Leonardo de Moura This report is based upon work supported by the Defense Advanced Research Projects

Source URL: yices.csl.sri.com

• Theoretical computer science
• Computational complexity theory
• Mathematics
• Electronic design automation
• Formal methods
• Logic in computer science
• NP-complete problems
• Constraint programming
• Satisfiability modulo theories
• Boolean satisfiability problem
• Solver
• Simplex algorithm

Under consideration for publication in Theory and Practice of Logic Programming 1 Clingo = ASP + Control: Preliminary Report Martin Gebser1,2 , Roland Kaminski2 , Benjamin Kaufmann2 , and Torsten Schaub2 ∗

Source URL: www.cs.uni-potsdam.de

• Logic programming
• Mathematical logic
• Constraint programming
• Logic in computer science
• Programming paradigms
• Satisfiability modulo theories
• Answer set programming
• Stable model semantics
• G-code
• Subroutine
• Analogy
• Algorithm

September 20, :54 WSPC - Proceedings Trim Size: 9.75in x 6.5in

Source URL: www.jsbi.org

• Graph theory
• Mathematics
• Constraint programming
• Matroid theory
• Ear decomposition
• Graph
• Spanning tree
• Decomposition method
• Local consistency

Constraint Answer Set Solving Martin Gebser, Max Ostrowski, and Torsten Schaub? Universit¨at Potsdam, Institut f¨ur Informatik, August-Bebel-Str. 89, DPotsdam Abstract. We present a new approach to integrating C

Source URL: www.cs.uni-potsdam.de

• Theoretical computer science
• Constraint programming
• Declarative programming
• Logic programming
• Mathematics
• Model theory
• Logic in computer science
• NP-complete problems
• Constraint satisfaction problem
• Answer set programming
• Constraint satisfaction
• Satisfiability modulo theories

1 Potassco: The Potsdam Answer Set Solving Collection Martin Gebser, Benjamin Kaufmann, Roland Kaminski, Max Ostrowski, Torsten Schaub, and Marius Schneider

Source URL: www.cs.uni-potsdam.de

• Logic programming
• NP-complete problems
• Operations research
• Constraint programming
• Answer set programming
• Logic in computer science
• Boolean satisfiability problem
• Algorithm
• Solver
• Stable model semantics
• AMPL
• Constraint satisfaction problem

Scientific Report First name / Family name Francesco Santini

Source URL: fellowship.ercim.eu

• Constraint programming
• Mathematical optimization
• Software engineering
• Computer programming
• Constraint automaton
• Computing
• Constraint satisfaction problem
• Constraint satisfaction
• Constraint
• Reo Coordination Language
• Constrained optimization
• Multi-agent system

Reusing OCL in a Programming Language Fabian B¨ uttnera,∗, Martin Gogollab a AtlanMod, ´

Source URL: www.db.informatik.uni-bremen.de

• Software
• Computing
• Unified Modeling Language
• ISO standards
• Object Constraint Language
• ECO
• Query language
• Executable UML
• Denotational semantics
• Eclipse
• OCL
• GReAT

Constraint-Based Allocation of Cloud Resources to Maximize Mission Effectiveness Mark Boddy∗ Adventium Labs 111 Third Avenue South, Suite 100 Minneapolis, MNUSA

Source URL: www.adventiumlabs.com

• Mathematical optimization
• Economy
• Business
• Operations research
• Computer algebra systems
• Mathematical modeling
• Mathematics
• Information technology management
• Constraint satisfaction
• AMPL
• Linear programming
• Constraint